Timing analysis of industrial real-time systems
نویسندگان
چکیده
In this papel; we describe a formal method for modelling real-time systems and a procedure tcl compu,te the model's timing characteristics automatically. We present algorithms that compute exact bounds on the delay between two spec$ed events. We also describe an algorithm to count the minimum and maximum number of times an event occurs between a given starting condition and an ending condition. These algorithms are based on symbolic model checking techniques [6, 241 which have been successfully used to find bugs in several industrial designs. Such techniques can be used to search exhaustively state spaces with up to lo3' slates. To illustrate the usefulness of our .method, we describe the timing analysis for a p,atient monitoring system with more than states. Wc: also present the timing analysis and verification jor an aircraft controller The sizes of the examples we verqy demonstrate that our tool can be applied to realistic industrial designs.
منابع مشابه
Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time Systems
This paper proposes a timing analysis technique that gives practical support to the industrial systems engineering process for large-scale, distributed real-time systems. The technique, known as reservation-based timing analysis (RBA), gives support throughout the lifecycle of the system, from the early stages of system development through to implementation stages and later in-service upgrades....
متن کاملAnalysis for Real-Time Industrial Computing
Rate-monotonic analysis, a collection of quantitative methods, provides a basis for designing, understanding, and analyzing the timing behavior of real-time industrial computing systems. I ssues of real-time resource management are pervasive throughout indusI trial computing. Unlike general-purpose computer systems, where re1. sources must be managed to provide adequate system responsiveness fo...
متن کامل16 th International Workshop on Worst - Case Execution Time
Measurement-based timing analysis (MBTA) is often used to determine the timing behaviour of software programs embedded in safety-aware real-time systems deployed in various industrial domains including automotive and railway. MBTA methods rely on some form of instrumentation, either at hardware or software level, of the target program or fragments thereof to collect execution-time measurement d...
متن کاملAchieving Industrial Strength Timing Predictions of Embedded System Behavior
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point out the main issues that the scientific community should focus on in order to facilitate industrial-strength timing predictions. The core problem is that the scientific community uses too simplistic or research oriented...
متن کاملDeterminants of the Timing of Bank Failure in Ten Asian Countries
The purpose of this paper is to examine the determinants of the timing of bank failure/merger in 10 Asian countries over the period of 1999-2007 using a multivariate logit model and a split population duration analysis. Apart from bank-specific information, we also focus on the effects of macroeconomic and financial characteristics. The following empirical findings are obtained. First, the resu...
متن کامل